.\xfel.exe ddr f133
.\xfel.exe write 0x40000000 ..\SBI\opensbi-f133.bin
.\xfel.exe write 0x40200000 ..\..\NXOS.bin
.\xfel.exe exec 0x40000000